,Wn,使得对于0≤%<n,存在8∈B, (埘k,枷k+I)∈R(a)并且硼=”o. 2和无穷逻辑(Infinitary logic)不同。这里的逻辑不考虑无穷交,因此,此处只是一个直观的理解。
基于32个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
An extended dynamic logic is developed by using a special (infinitary) descriptive language as the building basis.
本文前半部分致力于建立一种(无穷)程序逻辑的基础。
youdao
应用推荐
模块上移
模块下移
不移动